Merge branch 'dropdown-for-merge' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 31 May 2020 05:34:18 +0000 (05:34 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 31 May 2020 05:34:18 +0000 (05:34 +0000)
Dropdown for merge

Closes #2214

See merge request GNOME/gtk!1992


Trivial merge